Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
821	Scala Actors Scalable Multithreading on the JVM Philipp Haller Ph.D. candidate Programming Methods Lab EPFL, Lausanne, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Functional languages Java platform Scala Concurrent computing Actor model Erlang Lift Computing Software engineering Computer programming
822	Space-Time Functional Gradient Optimization for Motion Planning Arunkumar Byravan1 , Byron Boots1 , Siddhartha S. Srinivasa2 and Dieter Fox1 Abstract— Functional gradient algorithms (e.g. CHOMP) have recently shown gre Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2014-07-22 11:22:13 Mathematical analysis Trajectory optimization Chomp Optimal control Motion planning Kinematics Path integral formulation Dynamic programming Lagrangian Mathematical optimization Physics Mathematics
823	Bidirectional Transformation is Effectful Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 2 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-26 11:58:13 Computing Functional programming Monad Bidirectional transformation Gottfried Leibniz Determinism Model theory Consistency model Adjoint functors Philosophy Software engineering
824	Alessandro Warth Address: 11666 Mayfield Ave., Apt. 201 Los Angeles, CAPhone: (E-mail: Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2011-08-08 02:31:34 Functional languages Programming paradigms Viewpoints Research Institute JavaScript Smalltalk Conditional Object-oriented programming Haskell OCaml Software engineering Computing Computer programming
825	Schema XMLPersonal.xsd schema location: targetNamespace: XMLPersonal.xsd http://sgpfc.igae.minhac.es/Adenda/XMLPersonal Add to Reading List Source URL: www.oficinavirtual.pap.minhap.gob.es Language: English - Date: 2012-02-06 02:19:46 Functional languages Procedural programming languages Perl XS ML XML Schema Computing Software engineering Programming language theory
826	Microsoft Word - Sigplan paper v6 Copyright tweaks.docx Add to Reading List Source URL: rumblesan.com Language: English Cross-platform software Scripting languages Lisp programming language CoffeeScript Functional languages Procedural programming languages JavaScript Read–eval–print loop Eval Computing Software engineering Computer programming
827	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
828	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
829	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
830	Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering ©JOT, 2002 Vol. 1, No. 1, May-June 2002 CorbaViews: Distributing objects that support several functional aspects Add to Reading List Source URL: intra.info.uqam.ca Language: English - Date: 2009-08-04 12:54:57 Aspect-oriented programming Software development Aspect-oriented software development Separation of concerns

UPDATE